Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
571	Activity Report[removed]Project-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-01-26 04:10:29 Functional languages Type theory Logic in computer science Theoretical computer science Formal methods OCaml Coq Type system Formal verification Software engineering Computing Programming language theory
572	Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-01-30 19:46:28 Computer architecture Android software development Android Mobile operating system Malware Symbian Linear temporal logic Motorola Droid Smartphones Software Computing
573	Methods and Tools for the Verification of Critical Properties Roger Bishop Jones International Computers Limited, Eskdale Road, Winnersh, Berks, England, RG11 5TT. Phone: +[removed], E-mail: [removed] Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2004-04-12 08:34:15 Theoretical computer science Logic in computer science Specification language Z notation Computer security Formal specification Specification HOL Functional specification Software development Formal methods Computing
574	Introduction COMP9242 2008/S2 Week 1 Part 2 ©2008 Gernot Heiser UNSW/NICTA/OKL. Distributed under Creative Commons Attribution License Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2009-10-01 17:42:24 L4 microkernel family Gernot Heiser Open Kernel Labs Microkernel NICTA Formal verification Kernel GNU General Public License University of New South Wales System software Software Computer architecture
575	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein type classes & locales Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Mathematics Semigroup Monoid Special classes of semigroups Bicyclic semigroup Semigroup theory Algebra Algebraic structures
576	COMP4161 S2/2014 Advanced Topics in Software Verification Assignment 3 This assignment starts on Mon, [removed]and is due on Sun, [removed], 23:59h. We will accept Isabelle .thy files only. Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Tree traversal Mathematical logic Tree T-tree Pointer Binary trees Computing Computer programming
577	COMP4161 S2/2014 Advanced Topics in Software Verification Assignment 1 This assignment starts on Mon, [removed]and is due on Tue, [removed], 23:59h. We will accept plain text (.txt) files, PDF (.pdf) files, and Isabel Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Quantification Boolean algebra Propositional calculus Lambda calculus Universal quantification Existential quantification Mathematical proof Free variables and bound variables Negation Mathematical logic Logic Mathematics
578	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein 1 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computer law Intellectual property law Computing Procedural programming languages Data types Creative Commons Attribution NICTA List Open content Law Copyleft
579	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein 1 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal methods Computer law Copyleft Automated theorem proving Logic in computer science Isabelle SPASS Paul Gottlieb Nipkow Satisfiability Modulo Theories Theoretical computer science Mathematical software Applied mathematics
580	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification A C RASH C OURSE Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Linguistics Mathematics Computing Hoare logic Program logic String

UPDATE